API: Remove gtk_widget_push_colormap()
authorBenjamin Otte <otte@redhat.com>
Fri, 27 Aug 2010 17:47:43 +0000 (19:47 +0200)
committerBenjamin Otte <otte@redhat.com>
Sun, 26 Sep 2010 13:11:31 +0000 (15:11 +0200)
commitb479ff9cb50eb43dbd74bc7d163230b3db454c83
tree6854e1cdac5d1b66b14ec66fb3429fade5cd3712
parent522becccc083d6bd294e2bc6af3b932042b54c05
API: Remove gtk_widget_push_colormap()

And of course, gtk_widget_pop_colormap() is gone, too.
No replacement is necessary, the function is basically unused.
docs/reference/gtk/gtk3-sections.txt
gtk/gtk.symbols
gtk/gtkdnd.c
gtk/gtkinvisible.c
gtk/gtkwidget.c
gtk/gtkwidget.h
gtk/gtkwindow.c